101. Foundations of deductive databases and logic programming

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Deductive data bases , Logic programming

رده :
QA
76
.
9
.
D32
F68
1988

102. Foundations of equational logic programming

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Logic programming

رده :
QA
76
.
63
.
H65
1989

103. Foundations of equational logic programming

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic programming

رده :
QA
76
.
L28
Vol
.
353

104. Foundations of inductive logic programming

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Logic programming,، Machine learning,، Induction )Logic(

رده :
QA
76
.
63
.
N54
1997

105. Foundations of inductive logic programming

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Logic programming

رده :
QA
76
.
63
.
N5
1997

106. Foundations of inductive logic programming

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic programming,، Machine learning,، Induction )Logic(

رده :
QA
76
.
L28
Vol
.
1228

107. Foundations of logic programming

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)

موضوع : Logic programming,Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
6
.
L583
1987

108. Foundations of logic programming

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics

رده :
QA
76
.
6
.
L583
1984

109. Foundations of logic programming

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics

رده :
QA
76
.
6
.
L583
1987

110. Foundations of logic programming

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic programming,، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
6
.
L56
1987

111. Foundations of probabilistic logic programming :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic programming.,Probabilities-- Data processing.,COMPUTERS-- Logic Design.,Logic programming.,Probabilities-- Data processing.

رده :
QA76
.
63
.
R54
2018

112. From Logic Design to Logic Programming:

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer logic.,Computer programming.,Computer science.

رده :
QA76
.
9
.
A96
D769
1987

113. From logic design to logic programming : theorem proving techniques and P-functions

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Automatic theorem proving,، Computer algorithms,، Logic programming

رده :
QA
76
.
L28
Vol
.
271

114. From logic programming to Prolog

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Logic programming,، Prolog )Computer program language(

رده :
QA
76
.
63
.
A67
1996

115. From logic programming to Prolog

پدیدآورنده :

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)

موضوع : Logic programming,Prolog (Computer program language)

رده :
QA
76
.
73
.
A67
1996

116. From logic programming to Prolog

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Logic programming , Prolog )Computer program language(

رده :
QA
76
.
63
.
A67
1997

117. From logic to logic programming

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Logic programming

رده :
QA
76
.
63
.
D64
1994

118. From logic to logic programming /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic programming

رده :
QA76
.
63
.
D64
1994

119. Functional and Logic Programming

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Functional programming (Computer science) -- Congresses.,Logic programming -- Congresses.,Functional programming (Computer science),برنامه‌نویسی منطقی -- کنگره‌ها

رده :
QA
76
.
62
.
F8
2016
E-Book
,

120. Functional and constraint logic programming

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Functional programming (Computer science) ; Congresses. ; Constraint programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;